A Lightweight Approach to Program Specialization⋆
نویسندگان
چکیده
Within the imperative programming paradigm, program slicing has been widely used as a basis to solve many software engineering problems, like debugging, testing, differencing, specialization, and merging. In this work, we present a lightweight approach to program specialization of lazy functional logic programs which is based on dynamic slicing. The kind of specialization performed by our approach cannot be achieved with other related techniques like partial evaluation.
منابع مشابه
Program Specialization Based on Dynamic Slicing
Within the imperative programming paradigm, program slicing has been widely used as a basis to solve many software engineering problems, like program understanding, debugging, testing, differencing, specialization, and merging. In this work, we present a lightweight approach to program slicing in lazy functional logic languages and discuss its potential applications in the context of pervasive ...
متن کاملTR 11 / 0 6 Request and Assert : A pragmatic approach to generating specialization scenarios
A specialization scenario provides a programmer friendly mechanism communicating the information about specialization opportunities to partial evaluators. Unfortunately, the process of generating suitable scenarios remains an art only mastered by programmers with in-depth knowledge about partial evaluation. Existing works on generating scenarios either rely on a brute-force approach to generate...
متن کاملStage specialization for design and analysis of flotation circuits
This paper presents a new approach for flotation circuit design. Initially, it was proven numerically and analytically that in order to achieve the highest recovery in different circuit configurations, the best equipment must be placed at the beginning stage of the flotation circuits. The size of the entering particles and the types of streams including pulp and froth were considered as the bas...
متن کاملThe Making of a New Medical Specialty: A Policy Analysis of the Development of Emergency Medicine in India
Background Medical specialization is an understudied, yet growing aspect of health systems in low- and middleincome countries (LMICs). In India, medical specialization is incrementally, yet significantly, modifying service delivery, workforce distribution, and financing. However, scarce evidence exists in India and other LMICs regar...
متن کاملLightweight Run-Time Code Generation
Run time code generation is an alternative and complement to compile time program analysis and optimization Static analyses are inherently imprecise because most interesting aspects of run time behavior are uncomputable By defer ring aspects of compilation to run time more precise infor mation about program behavior can be exploited leading to greater opportunities for code improvement The cost...
متن کامل